package org.scs.carleton.ca.pgdt.core.parser.nodes;

import java.util.List;

/**
 * 
 * A clause is an entry that can either be a fact or a goal.
 * 
 * @author tessierj
 *
 */
public interface IASTClause extends IASTNode {
	/**
	 * Returns the main structure of the clause.
	 * 
	 * @return
	 */
	public IASTNode getHead();
	
	/**
	 * Returns the nodes contained in the body
	 * 
	 * @return
	 */
	public List<IASTNode> getBody();
}
